STL: A Publisher's Perspective

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Recent Processes of Change from the Perspective of Academic Publishers

Like science itself, the academic publishing companies are characterised by a high degree of heterogeneity. They vary strongly with regard to their size, their products, their willingness and capability to innovate – there is obviously a relationship of correspondence between the publishers and their characteristics, on the one hand, and the different areas of science and their forms of announc...

متن کامل

A Concept Design for the STL

This report presents a concept design for the algorithms part of the STL and outlines the design of the supporting language mechanism. Both are radical simplifications of what was proposed in the C++0x draft. In particular, this design consists of only 41 concepts (including supporting concepts), does not require concept maps, and (perhaps most importantly) does not resemble template metaprogra...

متن کامل

Software Publishers

Nature of the Industry All organizations today rely on computer and information technology to conduct business and operate more efficiently. Computer software is needed to operate and protect computer systems and networks. Some 8,200 establishments are engaged primarily in computer software publishing or publishing and reproduction. Software publishing establishments carry out operations necess...

متن کامل

Efficient Parametric Identification for STL

We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows: Given a densetime real-valued signalw and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier eliminat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Against the Grain

سال: 2015

ISSN: 2380-176X

DOI: 10.7771/2380-176x.7179